body {
    /* font-family : "Bitstream Vera Sans", "Lucida Sans MS", Helvetica, Arial, sans-serif; */
    /* font-size : 88%; */
    background-color: #f0f0dc;
    color: #000000;
}

h1, h2 {
    font-style : italic;
    padding-top : 0;
    padding-bottom : 3px;
    margin-top : 0;
    border-style : solid;
    border-width : 0px;
    border-bottom-width: 3px;
    border-color : #006699;
}

.sources {
    font-size : smaller;
    margin-bottom : 1em;
}

.hidden { /* used with <span> for displaying hidden info */
    background-color : #ffcccc;
}
